Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 85 results
Sort by: relevance publication year

Feature Selection by Reordering

BOOK CHAPTER published 2005 in SOFSEM 2005: Theory and Practice of Computer Science

Authors: Marcel Jirina | Marcel Jirina

https://doi.org/10.1007/978-3-540-30577-4_45 Actions

Robustness of Composed Timed Systems

BOOK CHAPTER published 2005 in SOFSEM 2005: Theory and Practice of Computer Science

Authors: Hacène Fouchal | Antoine Rollet | Abbas Tarhini

https://doi.org/10.1007/978-3-540-30577-4_19 Actions

Clock Synchronization: Open Problems in Theory and Practice

BOOK CHAPTER published 2010 in SOFSEM 2010: Theory and Practice of Computer Science

Authors: Christoph Lenzen | Thomas Locher | Philipp Sommer | Roger Wattenhofer

https://doi.org/10.1007/978-3-642-11266-9_5 Actions

Solving Cut-Problems in Quadratic Time for Graphs with Bounded Treewidth

BOOK CHAPTER published 2023 in Lecture Notes in Computer Science

Authors: Hauke Brinkop | Klaus Jansen

https://doi.org/10.1007/978-3-031-23101-8_3 Actions

Unilateral Orientation of Mixed Graphs

BOOK CHAPTER published 2010 in SOFSEM 2010: Theory and Practice of Computer Science

Authors: Tamara Mchedlidze | Antonios Symvonis

https://doi.org/10.1007/978-3-642-11266-9_49 Actions

On Point Set Embeddings for k-Planar Graphs with Few Bends per Edge

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Michael Kaufmann

https://doi.org/10.1007/978-3-030-10801-4_21 Actions

Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Chong Gao | Taolue Chen | Zhilin Wu

https://doi.org/10.1007/978-3-030-10801-4_17 Actions

Introduction to Routing Problems with Mandatory Transitions

BOOK CHAPTER published 2023 in Lecture Notes in Computer Science

Authors: Christian Laforest | Timothée Martinod

https://doi.org/10.1007/978-3-031-23101-8_17 Actions

Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations

BOOK CHAPTER published 2010 in SOFSEM 2010: Theory and Practice of Computer Science

Authors: Giorgio Gnecco | Marcello Sanguineti

https://doi.org/10.1007/978-3-642-11266-9_37 Actions

On the Complexity of Scheduling Problems with a Fixed Number of Parallel Identical Machines

BOOK CHAPTER published 2023 in Lecture Notes in Computer Science

Authors: Klaus Jansen | Kai Kahler

https://doi.org/10.1007/978-3-031-23101-8_13 Actions

On the Parameterized Complexity of s-club Cluster Deletion Problems

BOOK CHAPTER published 2023 in Lecture Notes in Computer Science

Authors: Fabrizio Montecchiani | Giacomo Ortali | Tommaso Piselli | Alessandra Tappini

https://doi.org/10.1007/978-3-031-23101-8_11 Actions

Essential Performance Drivers in Native XML DBMSs

BOOK CHAPTER published 2010 in SOFSEM 2010: Theory and Practice of Computer Science

Authors: Theo Härder | Christian Mathis | Sebastian Bächle | Karsten Schmidt | Andreas M. Weiner

https://doi.org/10.1007/978-3-642-11266-9_3 Actions

Research Issues in the Automated Testing of Ajax Applications

BOOK CHAPTER published 2010 in SOFSEM 2010: Theory and Practice of Computer Science

Authors: Arie van Deursen | Ali Mesbah

https://doi.org/10.1007/978-3-642-11266-9_2 Actions

Approximate Structural Consistency

BOOK CHAPTER published 2010 in SOFSEM 2010: Theory and Practice of Computer Science

Authors: Michel de Rougemont | Adrien Vieilleribière

https://doi.org/10.1007/978-3-642-11266-9_57 Actions

Probabilistic Parameterized Polynomial Time

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Nils Donselaar

https://doi.org/10.1007/978-3-030-10801-4_15 Actions

Bayesian Root Cause Analysis by Separable Likelihoods

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Maciej Skorski

https://doi.org/10.1007/978-3-030-10801-4_36 Actions

On the Size of Logical Automata

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Martin Raszyk

https://doi.org/10.1007/978-3-030-10801-4_35 Actions

Minimizing the Cost of Team Exploration

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Dorota Osula

https://doi.org/10.1007/978-3-030-10801-4_31 Actions

Lackadaisical Quantum Walks with Multiple Marked Vertices

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Nikolajs Nahimovs

https://doi.org/10.1007/978-3-030-10801-4_29 Actions

Multi-stranded String Assembling Systems

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Martin Kutrib | Matthias Wendlandt

https://doi.org/10.1007/978-3-030-10801-4_23 Actions
Feedback: support@crossref.org